21. Algebraic informatics :
المؤلف: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
22. Analytical and stochastic modeling techniques and application
المؤلف: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
23. Application and theory of Petri nets :
المؤلف: edited by Claude Girault and Woflgang Reisig.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: fiabilité,Petri nets -- Congresses.,protocole accès.
24. Application and theory of Petri nets :
المؤلف: edited by Claude Girault and Woflgang Reisig.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
25. Applications of declarative programming and knowledge management :
المؤلف: Salvador Abreu, Dietmar Seipel (Eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses,Knowledge management, Congresses
رده :
QA76
.
615
.
I58
2011
26. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
المؤلف: Dietmar Seipel... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
27. Artificial intelligence applications and innovations :
المؤلف: John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
28. Artificial intelligence applications in chemistry :
المؤلف: Thomas H. Pierce, Bruce A. Hohne, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
رده :
QD39
.
3
.
E46
A78
1986
29. Artificial life and evolutionary computation :
المؤلف: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
30. Automata, languages and programming :
المؤلف: edited by G. Ausiello and C. Böhm.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
31. Automata, languages and programming :
المؤلف: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
32. Automata, languages, and programming :
المؤلف: edited by Jan Paredaens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
33. Automated and algorithmic debugging :
المؤلف: Peter A Fritzson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
34. Automated technology for verification and analysis :
المؤلف: Shuvendu K. Lahiri, Chao Wang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
35. Automated technology for verification and analysis :
المؤلف: Tevfik Bultan, Pao-Ann Hsiung (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
36. Based Program Synthesis and Transformation :-Logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
37. CONCUR'91 :
المؤلف: J.C.M. Baeten, J.F. Groote (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
38. CONPAR 90-VAPP IV :
المؤلف: H. Burkhart, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
39. CSL'87 lst workshop on computer science logic
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
40. Cafe
المؤلف: / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
